Alonzo Church

Alonzo Church

Biografia
Naixement	14 juny 1903 Washington DC
Mort	11 agost 1995 (92 anys) Hudson (Ohio)
Sepultura	Cementiri de Princeton, Sec. 3, Block 11, Lot 058, Grave 1 40° 21′ 18″ N, 74° 39′ 33″ O / 40.354977°N,74.659112°O / 40.354977; -74.659112
Religió	Presbiterianisme
Formació	Universitat d'Amsterdam (1929–1929) Universitat de Göttingen (1928–1928) Universitat Harvard (1927–1928) Universitat de Princeton (1920–1927)
Tesi acadèmica	Alternatives to Zermelo's Assumption  (1927 )
Director de tesi	Oswald Veblen
Activitat
Camp de treball	Lògica matemàtica, Informàtica teòrica, matemàtiques i lògica
Ocupació	matemàtic, professor d'universitat, filòsof, informàtic
Ocupador	Universitat de Califòrnia a Los Angeles (1967–1990) Universitat de Princeton (1929–1967)
Membre de	Acadèmia Americana de les Arts i les Ciències Associació americana per l'avanç de la ciència Acadèmia Nacional de Ciències dels Estats Units
Obra
Obres destacables Tesi de Church-Turing teorema de Church-Rosser teorema de Church-Turing Ontologia de Frege-Church Càlcul lambda (1985) Principi de Church-Turing-Deutsch
Estudiant doctoral	C. Anthony Anderson, Peter Andrews, George Alfred Barnard, Martin Davis, Leon Henkin, John George Kemeny, Stephen Kleene, Michael Oser Rabin, Hartley Rogers, John Barkley Rosser, Nathan Salmon, Dana Scott, Raymond Smullyan, Alan Turing, Alfred Foster, Nicholas Rescher, Norman Shapiro, William Boone, Gerald Massey, Simon Kochen, Maurice L'Abbé, Robert Ritchie, Isaac Malitz, Wayne Richter, Joel Robbin, William Easton, Enrique Bustamente-Llaca, Aubert Daigneault, James Guard, James Bennett, Robert Winder, Gustav Hensel, Donald Collins, Edward Chapin, Bijan Arbab i Gary Mar
Localització dels arxius	Arxius de l'Escola Politècnica Federal de Zuric [ CH-001807-7:Hs 984] Biblioteca de la Universitat de Princeton C0948
Família
Cònjuge	Mary Julia Kuczinski
Pares	Samuel Robbins Church i Mildred Hannah Letterman Parker

Alonzo Church (Washington DC, 14 de juny de 1903 - Hudson, 11 d'agost de 1995) fou un matemàtic americà i lògic que va fer importants contribucions a la lògica matemàtica i als fonaments la informàtica teòrica. És conegut principalment pel càlcul lambda, la tesi de Church-Turing, l'ontologia de Frege-Church, el teorema de Church-Rosser i per demostrar la indecidibilitat de l'Entscheidungsproblem.